1.
Fme '93 : Industrial-Strength Formal Methods
by Woodcock, James C.P., Larse...
ISBN: 9783662195673
List Price: $24.99
OUT OF STOCK
See Availability on Amazon2.
Mathematics of Program Construction
by Bird, Richard S., Morgan, C...
ISBN: 9783662173107
List Price: $24.99